minios: Fix xfree() bug.
authorKeir Fraser <keir.fraser@citrix.com>
Wed, 2 Apr 2008 14:32:13 +0000 (15:32 +0100)
committerKeir Fraser <keir.fraser@citrix.com>
Wed, 2 Apr 2008 14:32:13 +0000 (15:32 +0100)
commit30860b6fe5224c7922ed20adff4929547431ede1
tree4b926036de3b3ca737d6d640e8ff66ccdff1518e
parentcb359ce6b112ea4c2e7becfa60b50ced2f0d8033
minios: Fix xfree() bug.

It has to check first if the memory to free is so big as to be freed
directly by free_pages. mini-os domains crash without this patch if
vfb is misconfigured.

Signed-off-by: INAKOSHI Hiroya <inakoshi.hiroya@jp.fujitsu.com>
extras/mini-os/lib/xmalloc.c